|
| |
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.
|
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
Dynamic Software Architectures for Distributed Embedded Control Systems
Richta, Tomáš ; Kavička, Antonín (referee) ; Sawa, Zdeněk (referee) ; Janoušek, Vladimír (advisor)
Tato prace se zabyva dynamickou rekonfigurovatelnosti distribuovanych ridicich systemu. Vzhledem k charakteristice techto systemu je pro definici jejich behu pouzit formalismus Petriho siti. Tyto jsou transformovany do proveditelne podoby a nasledne pak interpretovany specializovanym software nainstalovanym na jednotlivych uzlech systemu. Diky vlastnostem pouziteho formalismu je mozne jednotlive casti systemu nahrazovat novymi variantami. Stejne tak je mozne generovat formalni specifikace dilcich casti systemu z abstraktnejsich workflow modelu a popisu ve forme domenove specifickych jazyku.
|
|
| |
|
| |
|
|
Model-Based Design of Smart Home Control
Čada, Roman ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
This work deals with model-based design of Smart Home control and implementation of this system. The goal is to create a model that serves as a design and according to this model implement the system. Model-based programming tools do this well. The work first describes the model-based design, the modeling languages that are used to create such a design and the technologies that are used in Smart Home. Based on this knowledge, the model is created as a design using the SysML modeling language and then this design is implemented using PowerDEVS and Node-RED.
|
|
|
Simulation and Design of Intelligent Agents
Šperka, Svatopluk ; Rozman, Jaroslav (referee) ; Janoušek, Vladimír (advisor)
Conventional method of development which repeats phases of design, implementation and testing is not adequate for systems like intelligent agents for which complex behavior is required but specification is unclear at the beginning of development process. Incremental design of agent's model during simulation seems more suitable for it enables direct feedback in behavioral changes of a system. This interactivity speeds up development process and helps to uncover parts of a space of all models to designer - thanks to new knowledge acquired during simulation. This thesis aims to provide comparison of suitability of two agent architectures and respective platforms in context of SmallDEVS modeling and simulation framework for this methodology of development. First approach is reactive and decentralized subsumption architecture based on DEVS formalism and the second one is PNagent, framework realizing deliberative BDI architecture using Object Oriented Petri Nets.
|
guest ::
